scalar extension of algebras

代数的标量扩张